Higher order operations
نویسندگان
چکیده
منابع مشابه
A Note on Higher-order Differential Operations
In this paper we consider successive iterations of the first-order differential operations in space R 3 .
متن کاملHigher Homotopy Operations
We provide a general definition of higher homotopy operations, encompassing most known cases, including higher Massey and Whitehead products, and long Toda brackets. These operations are defined in terms of the W -construction of Boardman and Vogt, applied to the appropriate diagram category; we also show how some classical families of polyhedra (including simplices, cubes, associahedra, and pe...
متن کاملHigher String Topology Operations
In [1] Chas and Sullivan have defined an intersection-type product on the homology of the free loop space LM of an oriented manifold M. In this paper we show how to extend this construction to a topological conformal field theory of degree d. In particular, we get operations on H∗LM which are parameterized by the homology of the moduli space of open-closed Riemann surfaces.
متن کاملHigher-Order Order-Sorted Resolution
The introduction of sorts to rst-order automated deduction has brought greater conciseness of representation and a considerable gain in eeciency by reducing the search space. It is therefore promising to treat sorts in higher order theorem proving as well. In this paper we present a generalization of Huet's Constrained Resolution to an order-sorted type theory T with term declarations. This sys...
متن کاملHigher-Order Aspects in Order
In aspect-oriented programming languages, advice evaluation is usually considered as part of the base program evaluation. This is also the case for certain pointcuts, such as if pointcuts in AspectJ, or simply all pointcuts in higher-order aspect languages like AspectScheme. While viewing pointcuts and advice as base level computation clearly distinguishes AOP from reflection, it also comes at ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1963
ISSN: 0002-9947
DOI: 10.1090/s0002-9947-1963-0158399-1